- primitiv-rekursiv
- примитивно-рекурсивный
Немецко-русский математический словарь. 2013.
primitiv-rekursiv
Смотреть что такое "primitiv-rekursiv" в других словарях:
Primitiv-rekursive Funktion — Primitiv rekursive Funktionen sind totale Funktionen, die aus einfachen Grundfunktionen (konstante 0 Funktion, Projektionen auf ein Argument und Nachfolgefunktion) durch Komposition und (primitive) Rekursion gebildet werden können. Der Begriff… … Deutsch Wikipedia
Rekursiv — Dieser Artikel erläutert die Technik der rekursiven Definition; zum Begriff rekursive Menge siehe entscheidbar. Als Rekursion (lat. recurrere „zurücklaufen“) bezeichnet man die Technik in Mathematik, Logik und Informatik, eine Funktion durch sich … Deutsch Wikipedia
Primitive Rekursion — Primitiv rekursive Funktionen sind totale Funktionen, die aus einfachen Grundfunktionen (konstante 0 Funktion, Projektionen auf ein Argument und Nachfolgefunktion) durch Komposition und (primitive) Rekursion gebildet werden können. Der Begriff… … Deutsch Wikipedia
Ackermann-Funktion — Die Ackermannfunktion ist eine 1926 von Wilhelm Ackermann gefundene, extrem schnell wachsende mathematische Funktion, mit deren Hilfe in der theoretischen Informatik Grenzen von Computer und Berechnungsmodellen aufgezeigt werden können. Heute… … Deutsch Wikipedia
Ackermannfunktion — Die Ackermannfunktion ist eine 1926 von Wilhelm Ackermann gefundene, extrem schnell wachsende mathematische Funktion, mit deren Hilfe in der theoretischen Informatik Grenzen von Computer und Berechnungsmodellen aufgezeigt werden können. Heute… … Deutsch Wikipedia
Sudanfunktion — Die Sudanfunktion ist eine rekursive berechenbare Funktion, die total μ rekursiv jedoch nicht primitiv rekursiv ist, was sie mit der bekannteren Ackermannfunktion gemeinsam hat. Sie wurde 1927 von dem rumänischen Mathematiker Gabriel Sudan… … Deutsch Wikipedia
rekursive Funktion — rekursive Funktion, in der Mathematik eine mittels rekursiver Definition gewonnene Funktion, für die es ein Berechnungsverfahren der Funktionswerte gibt. Als primitiv rekursiv (K. Gödel, 1931) bezeichnet man: a) die Zahl 0; die Funktion f (x1 … Universal-Lexikon
Wilhelm Ackermann (Mathematiker) — Wilhelm Ackermann Wilhelm Friedrich Ackermann (* 29. März 1896 in Schönebecke (Herscheid); † 24. Dezember 1962 in Lüdenscheid) war ein deutscher Mathematiker. Inhaltsverzeichnis … Deutsch Wikipedia
Rekursionsanfang — Dieser Artikel erläutert die Technik der rekursiven Definition; zum Begriff rekursive Menge siehe entscheidbar. Als Rekursion (lat. recurrere „zurücklaufen“) bezeichnet man die Technik in Mathematik, Logik und Informatik, eine Funktion durch sich … Deutsch Wikipedia
Rekursionsformel — Dieser Artikel erläutert die Technik der rekursiven Definition; zum Begriff rekursive Menge siehe entscheidbar. Als Rekursion (lat. recurrere „zurücklaufen“) bezeichnet man die Technik in Mathematik, Logik und Informatik, eine Funktion durch sich … Deutsch Wikipedia
Rekursionsschritt — Dieser Artikel erläutert die Technik der rekursiven Definition; zum Begriff rekursive Menge siehe entscheidbar. Als Rekursion (lat. recurrere „zurücklaufen“) bezeichnet man die Technik in Mathematik, Logik und Informatik, eine Funktion durch sich … Deutsch Wikipedia
